with(a)b
